مقدمه ای بر منطق جبری
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه خلیج فارس - دانشکده علوم پایه
- author فرخنده بهادری بیرگانی
- adviser سعید رسولی مجتبی صداقت جو
- publication year 1393
abstract
منطق جبری عبارت است از بررسی و ساخت ساختارهایی جبری از یک منطق برای شناخت و تحقیق بر روی آن و گاه بالعکس. در حقیقت، منطق جبری شاخه ای مشترک از منطق و جبر است. بعد از تحقیقات و بررسی های جورج بول و اگوستوس دمورگان بر روی منطق کلاسیک مشخص شد که با استفاده از این منطق می توان ساختاری جبری ساخت که دارای ارتباط عمیقی با منطق کلاسیک است. امروزه این ساختار جبری را جبر بول می نامیم. در طول قرن بیستم با کشف منطق های گوناگون بررسی این ارتباط قوت بیشتری گرفت و ساختارهای متناظر بیشتری پیدا شد. البته با شروع عصر ارتباطات و لزوم کاربرد منطق در رایانه ها این نوع جبرها تبدیل به ابزاری قدرتمند در این حوزه شدند. بنابراین، می توان گفت که تحقیق در این زمینه نه تنها بررسی یکی از زیباترین حوزه های ریاضی است بلکه در ارتباط با عصر جدید می توان گفت کاری اجتناب ناپذیر است. راه ورود به منطق جبری از منطق صوری می گذرد. برای این منظور ابتدا تعریفی دقیق از منطق صوری ارائه می دهیم و سپس با در نظر گرفتن یک رابطه ی هم ارزی ویژه در صورت امکان ساختاری جبری درست می کنیم و آن را جبر متناظر با منطق مورد نظر می نامیم.
similar resources
ترجمه کتاب مقدمه ای بر منطق
شیو منطق جدید در تحلیل گزاره ها شیوه تابع ارزش است در حالی که منطق سنتی گزاره ها را با رویکردی مفهومی و ربطی تحلیل می کند.شیوه نخست ناشی از رویکردی ریاضیاتی به منطق است در حالی که شیوه دوم ناشی از رویکردی فلسفی است.از نتایج رویکرد ریاضیاتی به منطق پرداختن به بحث های فرامنطقی و منطق کلان است
15 صفحه اولمقدمه ای بر سیره درتاریخ
در این مقاله‘ پس از توضیح واژه((سیره)) یادآوری شده است که: ((سیره)) ناظر به نوع وکیفیت حوادث تاریخی است و تفاوتهایی با ((تاریخ)) و((مغازی)) دارد و سپس اهدافی که درتحلیل مباحث سیره می باشد‘ مورد توجه قرار گرفته است و همچنان به اهمیت ونقش اساسی آن در فهم و آگاهی از فرهنگ اصیل اسلام‘ اشاره شده است ‘ و ادعا کرده ایم که بدون تحلیل وتبیین سیره‘ فهمیدن معارف اسلامی‘ محال است. آنگاه برای این مدعا از من...
full textمنطق های غیرکلاسیک از دیدگاه جبری
در این مقاله، مروری داریم بر منطق کلاسیک و جبر مربوط به آن، سپس مفهوم جبری کردن منطق های غیرکلاسیک را مورد مطالعه قرار می دهیم و مثالهایی از آن را با دید جبری می آوریم. جبر منطق چندارزشی پایه BL را مطالعه کرده، تعمیم های آن را بررسی می کنیم. در پایان، آخرین تحقیقات بر روی این تعمیم ها را مطرح می کنیم.
full textمقدمه ای بر جغرافیای نظامی
جغرافیای نظامی یکی از شاخه های علوم جغرافیایی می باشد که کلیه اثرات طبیعی، فرهنگی (انسانی) و زیست محیطی را بر سیاست ها برنامه ها و طرح های نظامی و عملیات رزمی/ پشتیبانی در سطح جهانی، منطقه ای و محلی مورد بررسی قرار می دهد. جغرافیای نظامی علمی است که تأثیر عوامل جغرافیایی یک کشور یا یک را در حرکت های نظامی بیان می کند. جغرافیای نظامی، بخشی از علوم نظامی است که با ویژگی های ...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه خلیج فارس - دانشکده علوم پایه
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023